Projectable semantics for Statecharts

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Projectable Semantics for Statecharts

Statecharts is a language for the speciication of reactive systems. Semantics of Statecharts enforcing causality and synchronous hypothesis cannot be modular, and therefore do not allow general bottom-up construction of speciication and reuse of components. In this paper we propose both a global-consistent and a non global-consistent semantics which, in contrast to the known ones, are projectab...

متن کامل

Projectable semantics for Statecharts 1

It has been proved that it is impossible to combine in one semantics for reactive systems the notions of modularity, causality and synchronous hypothesis. This limits bottom-up development of speciications. In this paper we introduce the notion of projectability, which is weaker than modularity, we deene a non global consistent semantics for Statecharts that enforces projectability, causality a...

متن کامل

Stream Semantics for Mini-Statecharts

Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, until now, a reference semantics has not been developed and therefore the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics, based on stream processing functions, for a special subclass of Statecharts...

متن کامل

Requirements Level Semantics for UML Statecharts

We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adaptation of the Statemate statechart semantics, with local variables, real time, identifier addressing, point-to-point communication, synchronous commu...

متن کامل

Static Semantics and Priority Schemes for Statecharts*

A statechart i s an, extended f o r m of conventional f in i te .state machines f o r specifying reactive sys tems . Though, the graphical s yn tax of statecharts has been defined, there remain concepts tha t are still ambiguous o r need t o be improved. In this paper, we formal ly define static semant ics of statecharts. A n d we identify the types of nonde te rmin i sm in statecharts and give...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Notes in Theoretical Computer Science

سال: 1998

ISSN: 1571-0661

DOI: 10.1016/s1571-0661(05)80255-5